Parametric analysis of statistical communication nets
نویسندگان
چکیده
منابع مشابه
Parametric and non-parametric statistical analysis of DT-MRI data.
In this work parametric and non-parametric statistical methods are proposed to analyze Diffusion Tensor Magnetic Resonance Imaging (DT-MRI) data. A Multivariate Normal Distribution is proposed as a parametric statistical model of diffusion tensor data when magnitude MR images contain no artifacts other than Johnson noise. We test this model using Monte Carlo (MC) simulations of DT-MRI experimen...
متن کاملParametric Synthesis of Statistical
The traffic within the branches of a communication network is often a random variable with an approximate multivariate normal distribution. The analysis of such systems has been discussed in a previous paper. In this paper, we consider the optimum synthesis problem. Nonlinear and linear programming is used to guarantee that a given flow rate probability between a specified pair of terminals is ...
متن کاملStatistical Analysis of Chaotic Communication Schemes
ABSTRACT On the base of the estimator variance analysis we present a classification for a number digital chaos communication schemes and conventional spread spectrum techniques, which allows the qualitative comparison of the behaviour of the systems under the presence of additive white Gaussian noise on the channel. The classification results in a ranking and shows that the conventional stored-...
متن کاملSymbolic Unfolding of Parametric Stopwatch Petri Nets
We address the problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), i.e., safe time Petri nets (TPNs) possibly extended with time parameters and stopwatches. We extend the notion of branching process to account for the dates of the occurrences of events and thus define a symbolic unfolding for PSwPNs. In the case of TPNs we also propose a method based on our so-called time b...
متن کاملParametric Model-Checking of Stopwatch Petri Nets
At the border between control and verification, parametric verification can be used to synthesize constraints on the parameters to ensure that a system verifies given specifications. In this paper we propose a new framework for the parametric verification of time Petri nets with stopwatches. We first introduce a parametric extension of time Petri nets with inhibitor arcs (ITPNs) with temporal p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quarterly of Applied Mathematics
سال: 1968
ISSN: 0033-569X,1552-4485
DOI: 10.1090/qam/233616